Now the rest of the acts of Jotham, and all he did, are they not recorded in the book of the history of the kings of Judah?